Real-time specification and modeling with joint actions
نویسندگان
چکیده
منابع مشابه
Specification and Modeling of Dynamic, Distributed Real-Time Systems
This paper presents an approach for engineering time-constrained systems which must operate in dynamic environments. Systems which operate in such environments may have unknown worst-case scenarios, may have large variances in the sizes of the data and event sets that they process (and thus, have large variances in execution latencies and resource requirements), and may not be statically charac...
متن کاملExtending CTL with Actions and Real Time
In this paper, we present the logic ATCTL, which is intended to be used for model checking models that have been specified in a lightweight version of the Unified Modelling Language (UML). Elsewhere, we have defined a formal semantics for LUML to describe the models. This paper’s goal is to give a specification language for properties that fits LUML; LUML includes states, actions and real time....
متن کاملReal-time test specification with TTCN-3
In this paper we propose an extension to the third edition of the Tree and Tabular Combined Notation (TTCN-3) to support realtime testing. Our approach is based on the separation of functional and real-time requirements in the test specification. Functional requirements are defined in form of stimuli and expected responses, i.e., in form of functional TTCN-3 test cases, and real-time requiremen...
متن کاملReal-Time Specification Inheritance Anomalies and Real-Time Filters
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In applications developed by current real-time objectoriented languages, however, changing application requirements or changing real-time specifications in subclasses may require excessive redefinitions although this seems to be int...
متن کاملA Framework for Specification and Validation of Real-Time Systems Using Circus Actions
Circus is a specification and programming language that combines CSP, Z, and refinementcalculus constructs. The semantics of Circus is defined using the Unifying Theories ofProgramming (UTP). In this work we extend a subset of Circus with time operators.The new language is denominated Circus Time Action. We propose a new time modelthat extends the Unifying Theories of Programmin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1993
ISSN: 0167-6423
DOI: 10.1016/0167-6423(93)90024-j